#ifndef _CONSOLEMANAGER_H_
#define _CONSOLEMANAGER_H_

#include <stdint.h>

void ConsoleManager_Runnable_initialize(void);
void ConsoleManager_Runnable(void);

int ConsoleManager_desiredTemperature_receive(int32_t *desiredTemperature);
int ConsoleManager_actualTemperature_receive(int32_t *actualTemperature);
int ConsoleManager_power_receive(int *power);
void ConsoleManager_console_writeString(const char *s);

#endif /* _CONSOLEMANAGER_H_ */
